Stichworte: called operating systems